<?php 
	if(session_id() == "") session_start();
	
	
	// D�truit toutes les variables de session
	$_SESSION = array();
	
	// Si vous voulez détruire complètement la session, effacez également
	// le cookie de session.
	// Note : cela détruira la session et pas seulement les données de session !
	if (ini_get("session.use_cookies")) {
	    $params = session_get_cookie_params();
	    
            //si php > 5.2
           /* setcookie(session_name(), '', time() - 42000,
	        $params["path"], $params["domain"],
	        $params["secure"], $params["httponly"]
	    );*/
            
            //si php <5.2
             setcookie(session_name(), '', time() - 42000,
	        $params["path"], $params["domain"],
	        $params["secure"]
	    );
	}
	if(session_destroy()){
		//on confirme la deconnexion
		echo '{"state":"disconnected"}';
	}else{
		//sinon on envoie un message d'erreur
		echo "{'state':'error','err_msg':'Une erreur a eu lieu durant la déconnexion.'}";
	}

?>